Simplicial Homology and De Rham’s Theorem
نویسندگان
چکیده
After giving the necessary background in simplicial homology and cohomology, we will state Stokes’s theorem and show that integration of differential forms on a smooth, triangulable manifold M provides us with a homomorphism from the De Rham cohomology of M to the simplicial cohomology of M . De Rham’s theorem, which claims that this homomorphism is in fact an isomorphism, will then be stated and proved.
منابع مشابه
M392c Notes: Rational Homotopy Theory
1. Postnikov Towers and Principal Fibrations: 8/27/15 1 2. Serre Theory: 9/1/15 4 3. Rational Homotopy Groups of Spheres: 9/3/15 7 4. Commutative Differential Graded Q-algebras and Model Categories: 9/8/15 9 5. Homotopy in Model Categories: 9/15/15 13 6. Today is the Cofibrantly Generated Model Categories Day: 9/17/15 16 7. Homotopy Theory of CDGAs: 9/22/15 19 8. Minimal Sullivan Models and Sim...
متن کاملA Remark on Distributions and the De Rham Theorem
We show that the de Rham theorem, interpreted as the isomorphism between distributional de Rham cohomology and simplicial homology in the dual dimension for a simplicial decomposition of a compact oriented manifold, is a straightforward consequence of elementary properties of currents. The explicit construction of this isomorphism extends to other cases, such as relative and absolute cohomology...
متن کاملFundamental Properties of Digital Simplicial Homology Groups
In this article we give characteristic properties of the simplicial homology groups of digital images which are based on the simplicial homology groups of topological spaces in algebraic topology. We then investigate EilenbergSteenrod axioms for the simplicial homology groups of digital images. We state universal coefficient theorem for digital images. We conclude that the Künneth formula for s...
متن کاملThe De Rham Theorem for the Noncommutative Complex of Cenkl and Porter
We use noncommutative differential forms (which were first introduced by Connes) to construct a noncommutative version of the complex of Cenkl and Porter Ω∗,∗(X) for a simplicial set X. The algebra Ω∗,∗(X) is a differential graded algebra with a filtration Ω∗,q(X) ⊂ Ω∗,q+1(X), such that Ω∗,q(X) is a Qq-module, where Q0 = Q1 = Z and Qq = Z[1/2, . . . ,1/q] for q > 1. Then we use noncommutative v...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009